MiniZinc 2.5.0

Please refer to the change log for details:
https://www.minizinc.org/changes.html#v2.5.0

MiniZinc 2.4.3

Please refer to the change log for details:
https://www.minizinc.org/changes.html#v2.4.3

MiniZinc IDE 2.4.2

Please refer to the change log for details:
https://www.minizinc.org/changes.html#v2.4.2

MiniZinc IDE 2.4.1

This release contains a number of bugfixes in the MiniZinc compiler and the IDE. In particular, it fixes an issue with submitting assignments to MOOC providers. See https://www.minizinc.org/changes.html for a full change log.

MiniZinc IDE 2.4.0

This release adds functionality for profiling the compilation of MiniZinc models in the IDE, and makes it easier to specify counting constraints (such as count(i in x)(i=c) <= d, which are now automatically rewritten into the corresponding global constraints from the library). In addition, the release fixes many bugs and contains a number of smaller improvements. For full details see the change log at https://www.minizinc.org/changes.html.

MiniZinc IDE 2.3.2

This release contains a number of bugfixes in the MiniZinc compiler and standard library. See https://www.minizinc.org/changes.html for a full change log.

MiniZinc IDE 2.3.1

This release fixes a number of bugs, see http://www.minizinc.org/changes.html for details.

MiniZinc IDE 2.3.0

This is a major release of MiniZinc, introducing new features and improvements. For a full change log, see https://www.minizinc.org/changes.html.

MiniZinc IDE 2.2.3

This release fixes a number of bugs, see http://www.minizinc.org/changes.html for details.

MiniZinc IDE 2.2.2

This release fixes a number of bugs, see http://www.minizinc.org/changes.html for detail.